300b1719aaf078fc67ebec107c231b53722d5581,plugins/mpsdevkit/source/jetbrains/mps/ide/devkit/generator/GenerationTracerTree.java,GenerationTracerTree,doubleClick,#MPSTreeNode#,92

Before Change


  @Override
  protected void doubleClick(@NotNull MPSTreeNode node) {
    final TracerNode tracerNode = ((GenerationTracerTreeNode) node).getTracerNode();
    ModelAccess.instance().runWriteInEDT(new Runnable() {
      @Override
      public void run() {
        SNodeReference nodePointer = tracerNode.getNodePointer();
        if (nodePointer == null) return;
        SNode node = nodePointer.resolve(MPSModuleRepository.getInstance());
        if (node == null) {
          return;
        }
        IOperationContext context = new ProjectOperationContext(ProjectHelper.toMPSProject(myProject));
        NavigationSupport.getInstance().openNode(context, node, true, !(node.getModel() != null && node.getParent() == null));
      }
    });

  }

After Change


  @Override
  protected void doubleClick(@NotNull MPSTreeNode node) {
    TraceNodeUI traceNode = (TraceNodeUI) node.getUserObject();
    ModelAccess.instance().runWriteInEDT(new Navigate(ProjectHelper.toMPSProject(myProject), traceNode.getNavigateTarget()));
  }

  GenerationTracerViewTool getViewTool() {